Issue1375-2.agda:18,1-26,25
Termination checking failed for the following functions:
  weakenType
Problematic calls:
  weakenType (?0 (ty = ty) (ty' = ty')) type
    (at Issue1375-2.agda:25,26-36)
Unsolved interaction metas at the following locations:
  Issue1375-2.agda:24,13-17
  Issue1375-2.agda:25,50-54
  Issue1375-2.agda:26,21-25
